let
compare v1 v2 = v1.vid - v2.vid