#include "ffi018.h"

HsInt64 f(void) {
    return 0x123456789ABCDEF0LL;
}