#!/bin/sh crldump.py <