Some small program in Python