/* XXX could be optimized */