const margin_block_start_setterinfo: JSJitInfo;