get.idr no longer exported.