let
same_call c1 c2 = (c1.sid = c2.sid)