> type rlimit = int I trace rlim_t back to an unsigned long (or an unsigned quad long, if __USE_FILE_OFFSET64 is defined), so maybe Word32.word is a better choice. Also, you might include val infinity : rlimit and val infinity = _prim "RLIM_INFINITY";