typedef int[-2147483648,2147483647] nint32_t; // not needed since Stratego 4.1.20-11
import "/home/lqs66/Desktop/uppaal_external_function_test/libexternal.so" {
nint32_t get_number();
};Template// Place local declarations here.
nint32_t a;// Place template instantiations here.
Process = Template();
// List one or more processes to be composed into a system.
system Process;