/* recovered: stub */