add pragma