Reporter: tomarint (Japanese tweet: https://twitter.com/tomarint/status/1303348359046987776 )

We don't write usng namespace atcoder into first sample of modint.html. So this sample cannot compile