This example can only be compiled with the experimental version of EiffelStudio.