proc report1 {args} { return ok1 }