typedef unsigned long _reg ;
#define REG2LONG(r)   ((long) (r))
#define REG2INT(r)    ((int) (r))
#define REG2ADDR(r)   ((void *) (r))
#define REGSTORE(r, v)   do {(r) = (unsigned long)(v) ;} while (0)
// Argument registers
_reg _arg0 ;
_reg _arg1 ;
_reg _arg2 ;
_reg _arg3 ;

// Temporary registers
_reg _tmp0 ;
_reg _tmp1 ;
_reg _tmp2 ;
_reg _tmp3 ;

// Return registers
_reg _ret0 ;
_reg _ret1 ;