#include <stdint.h>

__attribute__((visibility("default"))) uint64_t apply(uint64_t num) { return num * 2; }