"pragma once" is not standard. We will have to change this to regular ifdefs etc.