…

..

dj.mk

…

false.mk

…

fop.mk

…

hru.mk

…

intcmp.mk

…

mm.mk

…

npc.mk

…

rpn.mk

…

scrut.mk

…

str.mk

…

strcmp.mk

…

swab.mk

…

true.mk

…