[Subtree split] User module