Loading Pickles from an Application

functor
import Application Pickle System
define
   %% --file=DATA_FILE
   Args = {Application.getArgs
           record(file(single 
                       type    : string
                       default : "FILE.bin"))}

   Data = {Pickle.load Args.file}

   {System.show Data}
   {Application.exit 0}
end