let
equal sa1 sa2 = compare sa1 sa2 = 0