This could use `std::logging::DEBUG` instead of hardcoding 4