pushing to see if GCC will give a better error message