const button_getterinfo: JSJitInfo;