#!/bin/sh
set -e
sed -nE 's/.*(OP_[A-Z0-9]+).*/GOTO_OP_OFFSET(\1),/p' $* | sort -u