Some stuff for HeisenBugDev.