`[[a-f]|[0-9]]` can be shortened to `[a-f0-9]`