with javascript_semantics
function lexicographic_order(sequence s)
    return extract(s,custom_sort(apply(s,sprint),tagset(length(s))))
end function

?lexicographic_order({1,0})
?lexicographic_order(tagset(5))
?lexicographic_order(tagset(13))
?lexicographic_order(tagset(21,1,2))
?lexicographic_order(tagset(11,-21,4))
?lexicographic_order({1.25, -6, -10, 9, -11.3, 13, -3, 0})