#ifdef __i386__
#include "ptrace_user_32.h"
#else
#include "ptrace_user_64.h"
#endif