csmith fixes