const buttons_getterinfo: JSJitInfo;