integer and character pointers in C