pragma check