tests/pointer-tagging.nixWhich pointer-tagging patterns keep their capabilities (docs/filc-findings.md).λpkgsFilcpkgsFilc.stdenv.mkDerivation4name="filc-pointer-tagging-check"5dontUnpack=true6buildPhase=for opt in -O0 -O2; do $CC $opt ${./pointer-tagging.c} -o tagging ./tagging 2>/dev/nulldone12installPhase="touch $out"