unsigned char *r7 = NULL; /* Arg1, mem start */
unsigned char *r10 = NULL; /* Arg2, mem end */
unsigned char *r11 = buf; /* Arg3 */
unsigned char *r7 = NULL; /* Arg1, mem start */
unsigned char *r10 = NULL; /* Arg2, mem end */
unsigned char *r11 = buf; /* Arg3 */