DB<7> print prototype "CORE::push"
\@@

  DB<8> print prototype "CORE::print"


  DB<9> print prototype "CORE::split"