void write_and_read1(unsigned int a, unsigned short d, void *dst);
void move_sr(unsigned short sr);
short move_sr_and_read(unsigned short sr, unsigned int a);
+short read_sr(void);
void memcpy_(void *dst, const void *src, unsigned short size);
void memset_(void *dst, int d, unsigned short size);
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[];