use debug() for wrapper-generation print outs