[math-fun] 4CC/4CT