/* XXX elad: gmuid is unused for now. */