void modelled(intptr p) {
 ++*p;
}