1 2 3 4 5
#include <stdint.h> __attribute__((visibility("default"))) uint64_t apply (uint64_t num) { return num - 1; }