#! /bin/sh

(head -n 2 formats.txt; echo "DLB_EPSILON %g") |
while read thing format
do
  echo "disp( $thing, \"$format\");"
done > c1.h