***michel_mno_afk is now known as michel_mno
<davexunit>is there any built-in procedure for reading an unsigned integer from a bytevector starting at an arbitrary starting byte? <sneek>davexunit, you have 3 messages. <sneek>davexunit, zacts says: check the backlogs I left you a message about how to avoid an issue with J-Bob, the little prover assistant .scm code <sneek>davexunit, zacts says: this would have been at around 03:20 AM Eastern Time in the USA <davexunit>bytevector-uint-ref takes an 'index' argument, which is not an arbitrary byte index. ***rlb` is now known as rlb
***dje is now known as xdje
***michel_mno is now known as michel_mno_afk