The actual interpreter