# ifdef __i386__
#  include "user_32.h"
# else
#  include "user_64.h"
# endif