> もまえならどう書くよ？
> 2: fprintf( stdout, "[%d]%s", number, name);


参考：2001/04/04(水)23時27分42秒