resource testing()
   var m, n : int, x : real
   m := 5
   x := m
#  x := real(m)           # previous statement is equivalent to this
   write("m =", m, "x =", x)
#  n := x                 # compile error: fatal: incompatible assignment
   n := int(x)
   write("n =", n)
end testing

/* ............... Example compile and run(s)

% sr -o testing testing.sr
% ./testing
m = 5 x = 5.00000
n = 5
                                              */