implemented bytevector-u(16|32)b-ref as syntaxes