let init_test () = match Aorai_option.Test.get () with | 1 -> generatesCFile := false; | _ -> generatesCFile := true