let
push =
Printf
.sprintf
"\tpush\t%s\n"