035_invariant.c void void func (int p, int *q) func int p int * q i+j=p p>=0 *q=2^(p+1)