public int ReadIntOr(String k, int or) {
Object rv = ReadOr(k, or);
if (rv == Nil) return or;
return parse ? Int_.parse((String) rv) : Int_.cast(rv);
}
public int ReadInt(String k) {
Object rv = ReadOr(k, 0);
if (rv == Nil) ThrowNotFound(k);
return parse ? Int_.parse((String) rv) : Int_.cast(rv);
}