Where are `retrocycle` and `decycle` defined?