/ inferno-2e / interp