variable definitions