# Function to print a double.
extern printd(x);

def test(x)
  printd(x) :
  x = 4 :
  printd(x);

test(123);


