class interface WIN_LOGFONT

invariant
   init: struct /= Void;

end of WIN_LOGFONT