#!/bin/sh

sed 's/OPCODE/\
OPCODE/g' | egrep '^OPCODE[0-9]' | sed 's/ --- .*//g'
