ジャーゴンファイル
The Jargon File version 4.4.7 lists this as the definition of codice_1: