rt_tableid_max
if ($2 < 0 || $2 > rt_tableid_max()) {
if ($2 < 0 || $2 > rt_tableid_max()) {
if ($2 < 0 || $2 > rt_tableid_max()) {
int rt_tableid_max(void);
if ($2 < 0 || $2 > rt_tableid_max()) {