const filename_getterinfo: JSJitInfo;