base is now of type pointer irrespective of the C TYPE type defined in the DSL. As this is an influencing turn, watch out for side effects.
Appropriate checks for accessor [.,->] substitutions.