Rewritten GetArgs in C++ for ReplaceBody