# Dummy input file with no instructions at all.
