idris-1.3.2: test/ffi012/ffi012

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

l.f()