Match function pointer casts to their prototypes in DIOS module.
Introduce the 3 classes of executables

 - Pure DIOS: can only make DIOS syscalls
 - Pure legacy: can only make legacy syscalls
 - Limbo: in between, can make both DIOS and legacy syscalls (for development)