re-fixing integer and pointer types