Wrote a csmith driver for NeonGoby