read_s0
static int read_s0(void);
if (read_s0()) {
read_s0();
if (read_s0() || i_flag)
if (read_s0())