instructions_to_push