Some GDL game descriptions