const inputEncoding_getterinfo: JSJitInfo;