Debugging free-identifier=? versus bound-identifier=?.