Use migen.fhdl.std