#include <stdint.h>

int web_engine_smoke_value(void) {
  const uint32_t value = 0x424c454e;
  return (int)(value & 0xffffu);
}