Rough and Tough compilation