will be used for more static analysis like detecting over/under-flow
will be used for more static analysis like detecting over/under-flow