Semantics for 2D Rasterization · HackerTrans