#include "HsFFI.h"

HsInt64 f(void);