SatIntReturn.java

public class SatIntReturn {
	public static int foo() {
		return 3;
	}
	
	public static void main(String[] args) {
		assert foo()==3;
	}
}