use new migen API