/* private code: no need to export anything */