var x1 : int := min (n1, min (n2, n3))