Under Itanium mangling, consider void h(int*, int*) where both parameters are the identical type int*. How is the second parameter encoded?