1void modelled(intptr p) {
2 ++*p;
3}