const margin_bottom_getterinfo: JSJitInfo;