algorithmicx example