#! /dev/null

echo succeeded