ASTgen : arm32 : printf args

[brk]

From arm32-newstring1.zip

void target(int argc, int A, int B, int C) {
  printf("%d %d\n", argc, A);
  printf("%d %d\n", B, C);
}

CodeHawk generates the AST

void target(int argc, int A, int B, int C){
   rtn_0x105e4 = printf(gv_0x10604);  // 83
   rtn_0x105f4 = printf(gv_0x10604);  // 115
}

with missing args.