These don't need `extern` explicitly.