EXTENSIONS GETTIMEOFDAY EXTENSIONS GETTIMEOFDAY

no special info, see general notes

posix loader code P4_FXco