testing pointer analysis now