#! /usr/bin/bash
echo fail_stderr >&2
echo fail "bad prelude"
exit 123