#! /bin/sh


./filter_stanza "$@" |
sed "s/unsigned int/unsigned long/;s/4294967295/18446744073709551615/"

