https://github.com/dojo-sim/Dojo.jl/blob/ad046e5f6384d77684fba4e3616c981e0ed66c19/examples/trajectory_optimization/quadruped_min.jl#L64 I cannot find the code of this function and REPL report an error when I run it.