Export symbols *ENSURE-...