Something went wrong. Try again.
Nix Packages collection & NixOS github.com/NixOS/nixpkgs
Something went wrong. Try again.
1234567891011121314#include <stdint.h>
__attribute__((noinline)) int choose(uint32_t value) { if (value == 0x1337U) { return 42; } return 7;}
int main(int argc, char **argv) { (void)argv; return choose((uint32_t)argc);}