unit null_VM = {

imports[]; exports[ out : VM_T ]; ...

}