[PATCH] teip is a pointer, not an int