What is pragma?