const POSIX_FADV = system.POSIX_FADV;