Code Editor : os_sgi.h