- container_t process_container = getContainer (instr_process_id(process, str, len));
- type_t type = getType ("MSG_PROCESS_STATE", process_container->type);
- new_pajePushState (MSG_get_clock(), process_container, type, "suspend");
+ container_t process_container = PJ_container_get (instr_process_id(process, str, len));
+ type_t type = PJ_type_get ("MSG_PROCESS_STATE", process_container->type);
+ val_t value = PJ_value_get ("suspend", type);
+ new_pajePushState (MSG_get_clock(), process_container, type, value);