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