Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- header =
- { b01_36 : 36bytes;
- (* 0x010000000000000000000000000000000000000000000000000000000004000000050000 *)
- num_strokes : 2bytes; (* more likely 16bit short than byte *)
- b38_39 : 2bytes (* Always 0x0000? *) }
- stroke =
- { stroke_header : stroke_header;
- points : point list }
- stroke_header =
- { b01 : 1byte; (* Always 0x00? *)
- b02_03 : 2bytes; (* Always 3? 16bit short or byte?*)
- b04_05 : 2bytes; (* Always 0x0000? *)
- b06_09 : 4bytes; (* Always 0xB4276842 or 0x5A5A3143? *)
- b10_17 : 8bytes; (* Always 0x0000000000000000? *)
- width : 2bytes; (* 16bit short or byte? (the latter would suffice) *)
- b20_21 : 2bytes; (* Always 0x0000? *)
- num_points : 2bytes; (* more likely 16bit short than byte *)
- b24 : 1byte (* Always 0x00? *) }
- point =
- { b01 : 1byte; (* Always 0x00? *)
- y : 2bytes;
- b04_05 : 2bytes; (* Always 0x00? *)
- x : 2bytes;
- b08_09 : 2bytes; (* Always 0x00? *)
- b10_12 : 4bytes (* Always 0x000000 for the first point,
- 0x88D32F or 0xE8021B for the middle points and
- 0xF0B115 or 0xB8A215 for the final point? *) }
Add Comment
Please, Sign In to add comment