dtmc

module shootout

endmodule