The headers files here are shared between driver and mudlib.
