Good enough for now. If we need more, we'll do the usual platform-dependent hardcoding that in practice works for everything else too.
