Update p10009.c