const margin_inline_start_setterinfo: JSJitInfo;