/* See LICENSE file for copyright and license details. */
#include "common.h"
#ifndef TEST
extern inline int libj2_ju_rsh_underflow_p(uintmax_t a, unsigned b);
/* TODO Add man page */
#else
CONST int main(void) { return 0; } /* Tested in libj2_ju_rsh_to_j2u.c */
#endif