BUBO: An Experiment in Local Spilling for Global Register Allocation