Text this: Bit-Precise Procedure-Modular Termination Analysis.