namespace cpp tamvm

service ExampleService {
    i32 get_number(1:i32 number);
}