documented and exported