Run clang-format

Author: RaoulSchaffranek

runtime/strings/bytes.cpp

@@ -150,7 +150,8 @@ hook_BYTES_int2bytes(SortInt len, SortInt i, SortEndianness endianness_ptr) {
 
 SortString hook_BYTES_bytes2string(SortBytes b) {
   auto len_b = len(b);
-  auto *result = static_cast<string *>(kore_alloc_token(sizeof(string) + len_b));
+  auto *result
+      = static_cast<string *>(kore_alloc_token(sizeof(string) + len_b));
   memcpy(result->data, b->data, len_b);
   init_with_len(result, len_b);
   return result;