Sanity check on main.inc