tokens and fpga stubs