const format_getterinfo: JSJitInfo;