contract SmokeTest {
}
// ====
// compileViaYul: also
// ----
// isoltest_builtin_test -> 0x1234