impl_code