Discussion about csmith8008