Patches that arrose during work on the alloca colorer