void foo (short i, int j) {
	//@ assert i == j;
}