#!/bin/sh -
# prints nothing but exits successfully