/* internal use only */