match DefiningName () wrap standard.out (it & "\n");