let
store =
Printf
.sprintf
"\tst\t%s, [%s]\n"