typedef long double                                                 max_align_t;

/*
STDC(201112)
*/