It’s Okay to Use #pragma once