/* $echo file:keyword1.dat $echo mix contexts and predicated keyword ``code'' which now is an identifier */ lhs *** code fsm