added writing of trivial header file; added trivial test case