spikeで標準入力を扱いたい
#RISC-V