-dtlambda also print function declarations