Constant decoder_result_s_decoder_page_fault 

pub const decoder_result_s_decoder_page_fault: decoder_result_s = 2;