#! /bin/sh
egrep '^S3' |
  sort +0.4 |
  sed	-e 's/^S3..//'							\
	-e 's/..$//'							\
	-e 's/../& /g' |
  awk '{
	addr = $1 $2 $3 $4;
	if (NR == 1) {
		baseaddr = addr;
		printf("\t.text\n1:\n");
	}
	for (i=5;i<=NF;i++) {
		printf(". = 1b + (0x%s-0x%s) + %d\n\t.byte\t0x%s\n",addr,baseaddr,i-5,$i);
	}
  }'