void addAll_bytes(Iterable<int> bytes_list) { super.addAll(bytes_list.map<Nat8>((int byte)=>Nat8(byte))); }