1*eeccb30bSTed Kremenekvoid modelled(intptr p) { 2*eeccb30bSTed Kremenek ++*p; 3*eeccb30bSTed Kremenek}