let
yydgoto =
"\002\000/\000Z\0000\0001\0002\0003\000"