markovlambdaschoenfinkellifetoverilog