[boehm] Implement the finalization extension API.