/* XXX are these ok? */