const _IMPL_ARBITRARY_FOR_CastJsonbToInt16: ();