Use headers defined in the C[++] standards:
[fw/sdcc] / device / examples / ds400 /
drwxr-xr-x   ..
drwxr-xr-x - hello400
drwxr-xr-x - monitor400