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