fixed bytevector procedures