dummy source file, supposed to be deleted during instrumentation
