/*
 * author: nutz, 09.04.2014
 */


/*@
  @ ensures \result > 0;
  @*/
int proc(int param) {
	return param;
}

/*@
  @ requires param > 0;
  @*/
int proc(int param);