#!/bin/csh -f

cc -DLIST_INSTRUCTIONS -E ../libs/pcode_in.h | \
grep LIST_OPCODE | \
awk '{printf("%d(0x%02x): %s\n", op, op, $2); op = op + 2;}'

