pub fn validate_regalloc(spilled: LinkedHashMap<MuID, P<Value>>, ) {

}