Text this: Value-range analysis of C programs :