Change the input.
Rename: push -> load_const, get -> load_name