The POST interpreter