extern SysRes VG_(mk_SysRes_x86_l4re) ( UInt val );
extern SysRes VG_(mk_SysRes_Error) ( UWord val );
extern SysRes VG_(mk_SysRes_Success) ( UWord val );
extern SysRes VG_(mk_SysRes_x86_l4re) ( UInt val );
extern SysRes VG_(mk_SysRes_Error) ( UWord val );
extern SysRes VG_(mk_SysRes_Success) ( UWord val );