IMPL_READ
uint32_t impl = IMPL_READ(fletcher_4_impl_chosen);
uint32_t i, l, sel_save = IMPL_READ(fletcher_4_impl_chosen);