Index: Makefile
===================================================================
--- Makefile	(revision 16badfe1b6c70af99c55c5c3bb131d348a5a37c3)
+++ Makefile	(revision 197ff76a1a6e3dac031f1d386945a4be68fb9ce6)
@@ -181,4 +181,5 @@
 				prolog.a libcio.a vlib.a iolib.a libsm.a lib700.a -lgcc
 				chmod a-x bios.elf
+				misc/flopvbl.sh
 
 RAM_C :=		addfpu.c adfield.c adselbx.c asgdsp.c asgvce.c barbadj.c chgsef.c \
Index: misc/flopvbl.sh
===================================================================
--- misc/flopvbl.sh	(revision 197ff76a1a6e3dac031f1d386945a4be68fb9ce6)
+++ misc/flopvbl.sh	(revision 197ff76a1a6e3dac031f1d386945a4be68fb9ce6)
@@ -0,0 +1,17 @@
+# Check, whether FLOPVBL == flopvbl and FLOCK == flock. If yes, then COUNT == 2.
+
+COUNT=$(m68k-none-elf-objdump --syms bios.elf |
+               grep -i -e flopvbl -e flock |
+               cut -c -8 |
+               sort |
+               uniq |
+               wc -l)
+
+if [ ${COUNT} != 2 ]; then
+    echo "FLOPVBL or FLOCK mismatch. See ram/timeint.s for more information."
+    rm bios.elf
+    exit 1
+fi
+
+echo "symbols match"
+exit 0