#!/bin/sh
outfile="$1"
infile="$2"
( awk -f host/asm.awk -v of=sym <"$infile"; cat "$infile") | awk -f host/asm.awk -v of=lst