% built-in function sort implemented for class int32