and now without debug printf()