foo.mly 407 Bytes