ReadWithSize
An instruction to read precisely n bytes from the data source. If an interpreter cannot fulfill this requirement, it must interrupt the execution (i.e. throw with EitherT capability or early-return with OptionT capability).
An instruction to read precisely n bytes from the data source. If an interpreter cannot fulfill this requirement, it must interrupt the execution (i.e. throw with EitherT capability or early-return with OptionT capability).