*.o diagdummy