# Second argument of the main C function.
	private fun native_argv(i: Int): CString is intern