some of its instructions. We call instructions in the modified
code natins. A fixed number of natins (256 bytes on
MICA2) form a natin page, and the natin pages constitute a
naturalized program. The naturalized program executes in a
collaborative way with the OS kernel, and supports the enhanced
system abstraction.