···1213712137 num =
1213812138 if (with stdenv.targetPlatform; isVc4 || libc == "relibc") then 6
1213912139 else if (stdenv.targetPlatform.isAarch64 && stdenv.isDarwin) then 11
1214012140+ else if (stdenv.targetPlatform.isx86_64 && stdenv.isLinux) then 11
1214012141 else if stdenv.targetPlatform.isAarch64 then 9
1214112142 else 10;
1214212143 numS = toString num;