From browsers to better drivers: Fixing Zink's synchronization the hard way