js-check and externs