Function read_credit_verilog 

pub fn read_credit_verilog() -> String

logos_read_credit, a reader’s lines of one channel through the channel multiplexer asked only as a buffer of its own can hold them: its descriptors asked in runs of at most 32 lines, every line back taken at once, the reader’s next line in a register. A reader whose channels step together — the streaming unit — reaches the multiplexer through one a channel, so the multiplexer never waits on it for a line.