Start on unverified interpreter (for fun!)