> What about the following additional change to debugging.texi? It may
> not be that surprising that if you can not step through a
> byte-compiled function, you can not step through a primitive function
> either, but it may not hurt to explicitly mention it.
I think your formulation is a bit misleading. Emacs' debugger can't
step through a primitive, gdb can.