- LASSERT(font >= MIN, /**/);
- LASSERT(font < FONTMAX, /**/);
- LASSERT(character >= MIN, /**/);
- LASSERT(character < CHARMAX, /**/);
- LASSERT(size >= MIN, /**/);
- LASSERT(size < SIZEMAX, /**/);
- LASSERT(user_text >= -1, /**/);
- LASSERT(user_text <= 1, /**/);
+ LATTEST(font >= MIN);
+ LATTEST(font < FONTMAX);
+ LATTEST(character >= MIN);
+ LATTEST(character < CHARMAX);
+ LATTEST(size >= MIN);
+ LATTEST(size < SIZEMAX);
+ LATTEST(user_text >= -1);
+ LATTEST(user_text <= 1);