const margin_inline_end_getterinfo: JSJitInfo;