let bases_containing_locals = ref Location_Bits.Top_Param.bottom