const margin_inline_getterinfo: JSJitInfo;