runtime/strings/bytes.cpp
uint64_t tag_big_endian() {
  static uint64_t tag = (uint64_t)-1;
  if (tag == -1) {
    tag = (uint64_t)leaf_block(getTagForSymbolName("LblbigEndianBytes{}"));
  }
  return tag;
}
// bytes2int and int2bytes expect constructors of sort Endianness, which become
// a uint64_t constant value in the K term representation
bytes2int and int2bytes expect constructors of sort Endianness, which become
a uint64_t constant value in the K term representation
bytes2int and int2bytes expect constructors of sort Endianness which become a uint64_t constant value in the K term representation
uint64_t tag_big_endian() {
  static uint64_t tag = (uint64_t)-1;
  if (tag == -1) {
    tag = (uint64_t)leaf_block(getTagForSymbolName("LblbigEndianBytes{}"));
  }
  return tag;
}
uint64_t tag_big_endian ( ) { static uint64_t tag = ( uint64_t ) -1 ; if ( tag == -1 ) { tag = ( uint64_t ) leaf_block ( getTagForSymbolName ( " " ) ) ; } return tag ; }
bytes2int and int2bytes expect constructors of sort Endianness, which become
a uint64_t constant value in the K term representation
bytes2int and int2bytes expect constructors of sort Endianness which become a uint64_t constant value in the K term representation