Project-independent specifications for Catrobat program language