unit null_posix_process = {

imports[ panic : Panic_T ]; exports[ out : PosixProcess_T ]; ...

}