///|
/// Parse CLI arguments for the JS backend.
/// Node.js prepends ["node", "