fn iptr_extends(iptr_1: &IPtr, iptr_2: &IPtr) -> Ordering