extern const char test_vint_end[];
extern const char test_f_vint[];
extern const char test_f_vint_end[];
+extern const char x32x_enable[];
+extern const char x32x_enable_end[];
+extern const char test_32x_b_c0[];
+extern const char test_32x_b_c0_end[];