makes it really easy to statically analyze code