implementing opcodes of secd machine via define-state-transition