make_push_str: not quite minimal push.