../stack_machine_load_store/words_to_verify.mem