あまさとさんがおっしゃってるようにGKNJPRINTという命令はプチコンにはじめから入っているわけではありません。 この命令はユーザー(この場合はほしけんさん)がDEF命令を使って定義したもので、使うには"ライブラリ"というプログラム()を"同じぷろじぇくと内"にダウンロードしなければならないのです まあ短絡的にいうとライブラリをダウンロードしてEXECすると動きます。 公開キーは忘れてしまったので調べてください()