const margin_left_getterinfo: JSJitInfo;