plus: const std::plus<> = ();
main: () -> int         = std::plus<>()(0, 0);