mv detectInt from 'ExecutionState' to 'SpecialFuncitonHandler'