explicitly use stdin/stdout