Example Verification on Fedora 40