a little test on type tracking