bring back Carry and Borrow (firm_decomp apparently uses it) and add a note that...