225c225
< void updateIntState(int ctx_id);
---
> void updateIntState(ContextID ctx_id);