640 /* debugging flags */