contract SmokeTest {
}
// ----
// isoltest_builtin_test -> 0x1234