We don't use #pragma once