/* XXX MP */