• s_ctx : actuator_driver.c , apply_controller.c , safety_manager.c , switch_debouncer.c