//! sepc register

read_csr_as_usize!(0x141);
write_csr_as_usize!(0x141);