
tm01(0) := 0

tm01(1) := 1

tm01(2) := 2
