#! /bin/sh


./filter_stderr "$@" |
sed "s/unsigned int/unsigned long/"
