do not set realloc() as NotAlias, since it can return the same pointer. This whole...