/** @externs */