String stringOr(String key, String dflt) { if ( members.containsKey(key) ) { VlJson v = members[key]!; if ( v.kind == 3 ) { return v.str; } } return dflt; }