Symbol: fpga_write