704 /* ALL: extra printout */