Mechanism--mechanism independence

The migration mechanism should be written so as to avoid interference between it and other kernel or runtime services. In the spirit of encapsulation this gives both comprehensible and easily modified software.