typedef i64 signed long long;
typedef f64 double;
void f0() {
}