deeper compilation