This assumes that the extension has length 3. Is this guranteed?