Some more updates about killing deadlocks and smashing bytecode