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