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.