extern printd(x);

def f(x)
    printd(x) : printd(x + 1)
;