x0-interpreter