Deferred_intf.Deferred_map