add pragma.t