ubyte[8] data;

ubyte[] result = [0x72, 0x01, 0xFF];
auto id = 0x1FFu;
assert(data[0 .. ionPutSymbolId(data.ptr, id)] == result);