Code Editor : num-args.js