additional prints for debugging (commented)