Some abstract operations are marked as "implementation-defined abstract operation", but have fully defined steps. I think the intention for "implementation-defined" is that no steps at all are defined. Normal abstract operations can have "implementation-defined" sub-steps and still don't need to be defined as "implementation-defined abstract operations".

(This issue is also present in ECMA-402.)