public void PushClientAttrib(ClientAttributeMask mask) => pushClientAttrib(mask);
static extern void pushClientAttrib(ClientAttributeMask mask);