Edit: os_sgi.h