With debugging messages