just use `MODEL=64`, no need for subtleties here