Updated the definition examples/alg/.