#! /bin/sh runisql <