let d1 = function n -> STT (n)