more documentation for inner_ext in funcimpl.h