Works in simulation (cver and modelsim, iverlog fails)