long main(int argc, char **argv) { return !1e-100; }