blob: 04db727f4c4fb922bd951e4091847db3a02cef9c [file] [log] [blame]
#include <stdint.h>
extern "C" {
int32_t forty_two_from_cc() { return 42; }
}