Variable definitions.