TYPE float64 IS FLOAT;
TYPE int32 IS SIGNED (32);
TYPE int64 IS SIGNED (64);

PUBLIC FUNCTION to_int32 (a : float64) RETURN int32
DECLARE
BEGIN
  RETURN int32'conv(a);
END;

PUBLIC FUNCTION fp_to_int32 (a : float64) RETURN int64
DECLARE
BEGIN
  RETURN int64'conv(a);
END;

PUBLIC FUNCTION to_fp64 (a : int32) RETURN float64
DECLARE
BEGIN
  RETURN float64'conv(a);
END;

PUBLIC FUNCTION conv2 (a : int32) RETURN int32
DECLARE
BEGIN
  RETURN to_int32 (to_fp64 (a));
END;

PUBLIC FUNCTION to_int64 (a : int32) RETURN int64
DECLARE
BEGIN
  RETURN int64'conv(a);
END;

--  Test spill
PUBLIC FUNCTION spill1 (a : int32) RETURN int64
DECLARE
BEGIN
  RETURN int64'conv(a) +# to_int64 (a);
END;