From: David L. Rager
Subject: Calling Process-run-function
Date: 
Message-ID: <db12bo$rs7$1@geraldo.cc.utexas.edu>
Hello All,

This is the simplest question I've asked yet. Would someone mind 
correcting the order of my arguments to ccl:process-run-function please?

Thanks in advance,
David


(ccl:process-run-function "ACL2 'under the hood' parallelization"
                           :vstack-size 500000000
                           :tstack-size 100000000
                           :stack-size 100000000
                           (function two-arg-function)
                           arg1
                           arg2)

Reference available at:
http://www.openmcl.org/Doc/re08.html