Describir: Practical FPGA Programming in C