print int64_t/int32_t portably