// forward stdin