#! /bin/sh

../filter_stderr "$@" |

sort

exit 0
