/* See LICENSE file for copyright and license details. */
#include "common.h"
#ifndef TEST

extern inline int libj2_ji_rsh_to_j2i_underflow(intmax_t a, unsigned b, struct libj2_j2i *res);
/* TODO Add man page */


#else

CONST int main(void) { return 0; } /* Tested in libj2_ji_rsh_to_j2i.c */

#endif