invalid-hence/empty-1.hence: Error: Expected module declaration, got end of file