Please don't use raw strings as much as possible. Create a constant in Language.Fixpoint.Names and use that variable instead.
twiddle
twiddle