isa_impl and wrappers