Add Oct.sort.fn