write to stdin