1/*
2 * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7procedure Simple {
8    string echo_string(in string s);
9    int echo_int(in int i);
10    float echo_float(in float f);
11    double echo_double(in double d);
12    int echo_mix(in double d);
13    int echo_parameter(in int pin, out int pout);
14    void increment_parameter(inout int x);
15};
16