0x3f80,0x0028,VIDEO_LINE_3F,byte
0x3fa8,0x0028,VIDEO_LINE_7F,byte
0x3fd0,0x0028,VIDEO_LINE_BF,byte
-# is it really?
+0x486e,0x0001,velocity_y,byte
+0x4870,0x0001,velocity_x_lo,byte
0x7280,0x00d2,shape_ptr_lo_7280,byte
0x7480,0x00d2,shape_ptr_lo_7480,byte
-# is it really?
0x7600,0x00d2,shape_ptr_hi_7600,byte
0x7800,0x00d2,shape_ptr_hi_7800,byte
-# is it really?
0x7980,0x00d2,shape_width_bytes_7980,byte
0x7b80,0x00d2,shape_width_bytes_7b80,byte
0x7d80,0x0053,shape_height_bytes_7d80,byte
+0x8cf1,0x0008,y_8cf1,byte
+0x8d01,0x0008,velocity_hi_8d01,byte
+0x8d11,0x0008,x_hi_8d11,byte
+0x8d21,0x0008,x_lo_8d21,byte
+0x8f71,0x0001,y_8f71,byte
+0x8fe1,0x0001,x_8fe1,byte
+0x9028,0x0012,y_9028,byte
+0x90a8,0x0012,x_90a8,byte
# initialize clip_rect, clear screen, set hires
0x93a8,0x0001,video_init,code
0x93be,0x0001,,code_ign # self-modifying code assembled with garbage word
0x98e5,0x0001,,code_ign # accessing video_line_table before clipping y
0x990a,0x0001,,code_ign # accessing video_line_table before clipping y
0x990f,0x0001,,code_ign # accessing video_line_table before clipping y
+0x9eec,0x0001,get_shape_9eec,code
+0x9ef7,0x0001,physics_9ef7,code
+0x9f22,0x0001,physics_9f22,code
+0x9f5b,0x0001,add_velocity_to_position,code
+0x9f7d,0x0001,add_velocity_x_to_position,code
+0x9f88,0x0001,move_shape_9f88,code
+0x9fcf,0x0001,move_shape_01,code
+0xa018,0x0001,move_shape_02,code
+0xa0f4,0x0001,clip_xy,code
+0xa10d,0x0001,move_shape_00,code
+0xa12e,0x0001,move_shape_a12e,code
+# returns a = x, y = y
+0xa156,0x0001,get_new_position,code
+0xa15f,0x0001,get_shape_a15f,code
+0xa167,0x0001,do_erase_shape,code
+# returns a = object x - 3, y = object y
+0xa205,0x0001,get_old_position,code
+0xa22e,0x0001,move_shape_a22e,code
+0xa264,0x0001,erase_shape_a264,code
+0xa281,0x0001,erase_shape_01,code
+0xa2a6,0x0001,erase_shape_02,code
+0xa2cb,0x0001,draw_misc_a2cb,code
+0xa332,0x0001,draw_misc_a332,code
+0xa354,0x0001,draw_misc_a345,code
+0xa376,0x0001,do_draw_digit_pair,code
+0xa379,0x0001,draw_digit_pair,code
+0xa389,0x0001,do_draw_digit,code
+0xa38c,0x0001,draw_digit,code
+0xa390,0x0001,draw_digit_base,byte
0xc000,0x0001,HW_KBD,byte
0xc010,0x0001,HW_KBDSTRB,byte
0xc030,0x0001,HW_SPKR,byte