blob: 17a63698f5c78fedfd36c992a8200c0154099815 [file]
#include <stdio.h>
void log_externref();
void get_externref();
int main() {
printf("in main\n");
log_externref();
get_externref();
printf("externref stored\n");
log_externref();
printf("externref logged\n");
return 0;
}