Sigh... gdb complains about non-ASCII char in comment
Sigh... gdb complains about non-ASCII char in comment

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs