anti-compilationist view 1