typesystem.mps 420 Bytes