diff --git a/docs/source/_static/symboldumps/skeletons-atari.txt b/docs/source/_static/symboldumps/skeletons-atari.txt
index cae32067c..24d3908b2 100644
--- a/docs/source/_static/symboldumps/skeletons-atari.txt
+++ b/docs/source/_static/symboldumps/skeletons-atari.txt
@@ -127,8 +127,9 @@ math  {
     crc16_update  (ubyte value @A) 
     crc32  (uword data, uword length) 
     crc32_end  () 
+    crc32_end_result  () -> uword @R15, uword @R14 
     crc32_start  () 
-    crc32_update  (ubyte value @A) 
+    crc32_update  (ubyte value) 
     diff  (ubyte v1 @A, ubyte v2 @Y) -> ubyte @A 
     diffw  (uword w1 @R0, uword w2 @AY) -> uword @AY 
     direction  (ubyte x1, ubyte y1, ubyte x2, ubyte y2) -> ubyte 
diff --git a/docs/source/_static/symboldumps/skeletons-c128.txt b/docs/source/_static/symboldumps/skeletons-c128.txt
index 8e9429604..a7d4a4351 100644
--- a/docs/source/_static/symboldumps/skeletons-c128.txt
+++ b/docs/source/_static/symboldumps/skeletons-c128.txt
@@ -127,8 +127,9 @@ math  {
     crc16_update  (ubyte value @A) 
     crc32  (uword data, uword length) 
     crc32_end  () 
+    crc32_end_result  () -> uword @R15, uword @R14 
     crc32_start  () 
-    crc32_update  (ubyte value @A) 
+    crc32_update  (ubyte value) 
     diff  (ubyte v1 @A, ubyte v2 @Y) -> ubyte @A 
     diffw  (uword w1 @R0, uword w2 @AY) -> uword @AY 
     direction  (ubyte x1, ubyte y1, ubyte x2, ubyte y2) -> ubyte 
diff --git a/docs/source/_static/symboldumps/skeletons-c64.txt b/docs/source/_static/symboldumps/skeletons-c64.txt
index 9dea6aa13..45fbd3b87 100644
--- a/docs/source/_static/symboldumps/skeletons-c64.txt
+++ b/docs/source/_static/symboldumps/skeletons-c64.txt
@@ -251,8 +251,9 @@ math  {
     crc16_update  (ubyte value @A) 
     crc32  (uword data, uword length) 
     crc32_end  () 
+    crc32_end_result  () -> uword @R15, uword @R14 
     crc32_start  () 
-    crc32_update  (ubyte value @A) 
+    crc32_update  (ubyte value) 
     diff  (ubyte v1 @A, ubyte v2 @Y) -> ubyte @A 
     diffw  (uword w1 @R0, uword w2 @AY) -> uword @AY 
     direction  (ubyte x1, ubyte y1, ubyte x2, ubyte y2) -> ubyte 
diff --git a/docs/source/_static/symboldumps/skeletons-cx16.txt b/docs/source/_static/symboldumps/skeletons-cx16.txt
index b00003d81..70c1a5372 100644
--- a/docs/source/_static/symboldumps/skeletons-cx16.txt
+++ b/docs/source/_static/symboldumps/skeletons-cx16.txt
@@ -466,8 +466,9 @@ math  {
     crc16_update  (ubyte value @A) 
     crc32  (uword data, uword length) 
     crc32_end  () 
+    crc32_end_result  () -> uword @R15, uword @R14 
     crc32_start  () 
-    crc32_update  (ubyte value @A) 
+    crc32_update  (ubyte value) 
     diff  (ubyte v1 @A, ubyte v2 @Y) -> ubyte @A 
     diffw  (uword w1 @R0, uword w2 @AY) -> uword @AY 
     direction  (ubyte x1, ubyte y1, ubyte x2, ubyte y2) -> ubyte 
diff --git a/docs/source/_static/symboldumps/skeletons-neo.txt b/docs/source/_static/symboldumps/skeletons-neo.txt
index 7a28dc9af..2b8b5fcf9 100644
--- a/docs/source/_static/symboldumps/skeletons-neo.txt
+++ b/docs/source/_static/symboldumps/skeletons-neo.txt
@@ -117,8 +117,9 @@ math  {
     crc16_update  (ubyte value @A) 
     crc32  (uword data, uword length) 
     crc32_end  () 
+    crc32_end_result  () -> uword @R15, uword @R14 
     crc32_start  () 
-    crc32_update  (ubyte value @A) 
+    crc32_update  (ubyte value) 
     diff  (ubyte v1 @A, ubyte v2 @Y) -> ubyte @A 
     diffw  (uword w1 @R0, uword w2 @AY) -> uword @AY 
     direction  (ubyte x1, ubyte y1, ubyte x2, ubyte y2) -> ubyte 
diff --git a/docs/source/_static/symboldumps/skeletons-pet32.txt b/docs/source/_static/symboldumps/skeletons-pet32.txt
index 90c0f4397..1b1465468 100644
--- a/docs/source/_static/symboldumps/skeletons-pet32.txt
+++ b/docs/source/_static/symboldumps/skeletons-pet32.txt
@@ -127,8 +127,9 @@ math  {
     crc16_update  (ubyte value @A) 
     crc32  (uword data, uword length) 
     crc32_end  () 
+    crc32_end_result  () -> uword @R15, uword @R14 
     crc32_start  () 
-    crc32_update  (ubyte value @A) 
+    crc32_update  (ubyte value) 
     diff  (ubyte v1 @A, ubyte v2 @Y) -> ubyte @A 
     diffw  (uword w1 @R0, uword w2 @AY) -> uword @AY 
     direction  (ubyte x1, ubyte y1, ubyte x2, ubyte y2) -> ubyte 
diff --git a/docs/source/_static/symboldumps/skeletons-virtual.txt b/docs/source/_static/symboldumps/skeletons-virtual.txt
index 630e0f797..1dda860e6 100644
--- a/docs/source/_static/symboldumps/skeletons-virtual.txt
+++ b/docs/source/_static/symboldumps/skeletons-virtual.txt
@@ -122,6 +122,7 @@ diskio  {
     f_read_all  (uword bufferpointer) -> uword 
     f_readline  (uword bufptr) -> ubyte 
     f_write  (uword bufferpointer, uword num_bytes) -> bool 
+    get_loadaddress  (str filename) -> uword 
     lf_end_list  () 
     lf_next_entry  () -> bool 
     lf_start_list  (uword pattern_ptr) -> bool