Octavo commit: ejemplo4.py.