idris-1.1.0: test/interactive017/expected
hello from C hello from C hello from node hello from node Hello ["aaa"] Hello ["bbb", "aaa"] Hello from a module
hello from C hello from C hello from node hello from node Hello ["aaa"] Hello ["bbb", "aaa"] Hello from a module