// TARGET_BACKEND: WASM

// RUN_THIRD_PARTY_OPTIMIZER
// WASM_DCE_EXPECTED_OUTPUT_SIZE: wasm 54_295
// WASM_DCE_EXPECTED_OUTPUT_SIZE:  mjs  5_983
// WASM_OPT_EXPECTED_OUTPUT_SIZE:       6_332

fun box() = "OK"