
Put operating system / machine dependent stuff
in these files.

Use "header." not "os.h" ("os.h" is generated from 
"header.h", see Makefile)

