A minimalist interpreter