make sure dead-code elimination does not kick in