csmith driver debug output