py-sortedcontainers is a stub port
