#! /bin/sh

while read thing format
do
  echo "disp( $thing, \"$format\");"
done