print prototype 'CORE::push'; # \@@