idris-1.3.3: test/interactive017/expected.out
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