const margin_left_setterinfo: JSJitInfo;