#! /bin/sh

while read thing format
do
  echo "disp( $thing, \"$format\");"
done < formats.txt > b1.h