; include of a file which includes a nonexistent file
*include badinc