set_memory 0 "abcdefghijklmnopqrstuvwxyz";
set_memory 26 "hi";
set_memory 123 "hello";

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