Minimal example for a bug report
$ se c c_calls.ace
$ ./c_calls
Expected output:
Hello, void argumentless world!
Hello, int argumentless world!
1
Hello, void 1 world with arguments!
Hello, int world with arguments!
3
Actual output:
93910415328000
Hello, void 1 world with arguments!
Hello, int world with arguments!
3
i.e. external functions without arguments don't get called. Return values of such functions, if any, are somehow produced by Liberty without actually calling the external function.
(Content of the first line changes with each run.)