const margin_inline_start_getterinfo: JSJitInfo;