transition table does compile now