lang_void * SIM_instruction_get_user_data(instruction_id_t ii);
void
SIM_instruction_set_user_data(instruction_id_t ii,
lang_void *data);
If an instruction is squashed the Instruction_Squashed hap should be used to handle the deallocation of user data.