#include <stdio.h>
#include <sys/syssgi.h>

int main(void)
{
	char buffer[256];
	if ( syssgi(SGI_RELEASE_NAME, sizeof(buffer), buffer) < 0 ) {
		perror( "could not get SGI_RELEASE_NAME" );
	} else {
		printf( "SGI_RELEASE_NAME: %s\n", buffer );
	}
}