/* possible values for WPI_MEM_UCODE_DST */