Assertion list
single byte (subgroup of byte ) → ReceivesAction
Results from Ascent++: 1
single byte → ReceivesAction → read 0.68