More collision pseudocode.