inputfiles:
  - /Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/stdio.h
  - /Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/stdlib.h
  - /Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/sys/stat.h
sysimports:
  - stdio.h
  - stdlib.h
  - sys/stat.h
functions:
  - sranddev
  - cgetclose
  - cgetset
  - devname
  - puts
  - fstat
  - fopen
  - fread