function real_to_int(in1 : real) returns (out: int);
function int_to_real(in1 : int) returns (out: real);