Renamed dff80#0 so it can be found easier in HighLevelStateDebugShell