unit SVM_to_Posix = {

imports[ posix : { errno } svm : SVM_T ]; exports[ posix_vm : { mincore mmap mprotect munmap } ]; ...

}