let
id_of_var (var: var) : int =
var
land
max_number