WPI_MEM_DATA_SIZE
wpi_mem_write(sc, WPI_MEM_DATA_SIZE, init_datasz);
wpi_mem_write(sc, WPI_MEM_DATA_SIZE, main_datasz);