#include <iostream>
#include <type_traits>


namespace detail { struct bullshit {}; }


template<typename T = detail::bullshit, typename U>
void write(U value) {
    static_assert(!std::is_same<T, detail::bullshit>::value, "This is bullshit!");
    std::cout << (T)value << std::endl;
}


int main() {
    write(3ull);
}