Formatted by clang-format