generated stub extension