extension derping