generated extensions