Expressing the type of mmap() system call in ATS