add pragma tests