/* File SestoftTest.java * Used for Example 1 in Peter Sestoft's testing notes, 1998. * */ class SestoftTest{ public static void main(String[] args){ int mi, ma; if(args.length == 0) /* 1 */ System.out.println("No numbers"); else { mi=ma=Integer.parseInt(args[0]); for(int i = 1; i ma) ma = obs; /* 3 */ else if(mi