markovlambdaschoenfinkellife2verilog