function db_fetch_paginated_users($k, $sql, $args) { return _db_fetch_paginated($sql, $args, 'users', $k); }
function db_fetch_paginated($sql, $args){ return _db_fetch_paginated($sql, $args, 'main'); }