add: tailrec tag in BuildingUser