fgetsで文字列を読み込んで、終端に\0を付加したいときの
一般的なやり方を教えてください