MASKS 3
MASK 0xf3fc 0x802 ( 0 17001 ) ;
MASK 0xf3fc 0x402 ( 0 16001 ) ;
MASK 0xf003 0xaa8 ( 0 18001 ) ;
END