Next0 rewrite.
Fixing arguments to helper functions.
New set of arguments for OCALL and OCALLDYN.