# See jsf.jsf =Idle :initial Idle * initial noeat call=jsf(CHECKING)