// This file MUST exist to trigger the original bug.