module VeriFuzz.CodeGen where