Port t/028-sortexrun.t to C