extension definitions section added