1 2 3 4 5 6 7
/* $echo file:keyword1.dat $echo mix contexts and predicated keyword ``code'' which now is an identifier */ lhs *** code fsm