Needed for HeisenBugDev