/* recovered stub */