implementation module nodebug