#!/bin/sh

run-next "$0" -o "$@" | sed -e 's/ *\\  */ /g'