As explained in the description of the video, this is not running on a vanilla Minecraft server, but on their own implementation optimized to run redstone circu

As explained in the description of the video, this is not running on a vanilla Minecraft server, but on their own implementation optimized to run redstone circuits. The code displayed at the beginning seems to come from that: https://github.com/MCHPR/MCHPRS/blob/master/crates/core/src/redpiler/mod.rs#L683 https://github.com/MCHPR/MCHPRS/blob/master/crates/core/src/...