FULL_INTERVAL     711 src/platform-freebsd.cc FULL_INTERVAL
FULL_INTERVAL    1064 src/platform-linux.cc FULL_INTERVAL
FULL_INTERVAL     786 src/platform-openbsd.cc FULL_INTERVAL
FULL_INTERVAL     704 src/platform-solaris.cc FULL_INTERVAL