A simple interpreter