vanilla meta-interpreter