(*) preparing force var initialization
(*) preparing pointer tracking