Constant READ_FILE 

pub const READ_FILE: u64 = 0x2ea8e2e4b427a391;