| /* | |
| * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) | |
| * | |
| * SPDX-License-Identifier: BSD-2-Clause | |
| */ | |
| procedure Simple { | |
| string echo_string(in string s); | |
| int echo_int(in int i); | |
| float echo_float(in float f); | |
| double echo_double(in double d); | |
| int echo_mix(in double d); | |
| int echo_parameter(in int pin, out int pout); | |
| void increment_parameter(inout int x); | |
| }; |