4.162 puts.c