// Module needs to be imported to trigger bug.