TYPE
  nat$maximum_login_attempts = 0 .. 0f(16);
