function "local" "abcd"(i32, i32, i32) -> i64;