A OS/PL approach IFC for JS