let
yydgoto =
"\002\000\006\000\007\000"