// objective: test \invariant, \pre and \post commands
// check: 035__invariant_8c.xml
/** \file */
/** \invariant i+j=p
* \pre p\>=0
* \post *q=2^(p+1)
*/
void func(int p,int *q)
{
int j = p, k=1, i;
for (i=0; i<=p; i++) j--,k=k*2;
*q = k;
}