ptrace_setfcr31
ptrace_setfcr31(child, data);
ptrace_setfcr31(child, value);
ptrace_setfcr31(target, fcr31);