/* This script does nothing. */