use fprintf