/* Used by computed_includes.c */