blob: e40878a877099c4ea7a30dd65661aa408daea80c [file] [log] [blame]
#include <stdint.h>
uint32_t foo_rs(void);
int main(void)
{
return foo_rs() == 42 ? 0 : 1;
}