#include <stdint.h>
typedef long long int                                              int_fast64_t;

/*
STDC(199901)
*/