untested changes to headers and dummy.c