compilation swallows