#include <stdio.h>
#include <float.h>

int
main(void)
{
        printf("LDBL_MAX:     %La\n", LDBL_MAX);
        printf("__LDBL_MAX__: %La\n", __LDBL_MAX__);
}