Thank you for the clarifications.

My question about argument checking was poorly worded. It is clear to me that runml should perform argument checking, what I meant to ask was whether the ml scripts compiled by our program should perform argument checking as well. For example if a ml script is as follows,

print arg0 + arg1
```. 
Should we assume that all arguments will be provided or should we generate C code to check if 2 arguments are provided? Additionally, does ```arg0``` in ml represent the name of the executable like ```argv[0]`` does in C or is it the first real number argument provided?

Sorry for the inconvenience.