/* XXX: move to a more suitable location in this file */