const ANONYMOUS: type = if (is_mips) 0x800 else 0x20;

don’t use a file