javascript: use runMain0 instead of main