IO_STEPHEN_TUCKER