pub type intmax_t = i64;
import stdint; // reads stdint.h and all its declarations intmax_t x; // declare x as type intmax_t