a test for compilation