Compilation seems to work