--- hatari/src/uae-cpu/fpp.c	2019/04/09 08:48:50	1.1.1.10
+++ hatari/src/uae-cpu/fpp.c	2019/04/09 08:50:34	1.1.1.11
@@ -1358,6 +1358,9 @@ void restore_fpu (void)
     int model, i;
 
     model = restore_u32();
+    if (model != 0 && (model < 68040 || model > 68060)) {
+	fprintf(stderr, "Warning: Unexpected CPU model\n");
+    }
 
     for (i = 0; i < 8; i++) {
 	uae_u32 w1 = restore_u32 ();