const margin_block_end_setterinfo: JSJitInfo;