Varec definitions