rm: debug printf