private static Map<? extends Attribute, ?> fillattrs(Object... attrs) {
	Map<Attribute, Object> a = new HashMap<Attribute, Object>(std.defattrs);
	for(int i = 0; i < attrs.length; i += 2)
	    a.put((Attribute)attrs[i], attrs[i + 1]);
	return(a);
    }