idris-1.3.3: test/ffi012/ffi012.js

l = require("./lib.js");

l.f()