Constant ORIG_RAX 

pub const ORIG_RAX: i32 = 15;