Semicompiled

Cast from double

source.c
double produce(void);
void consume(float);
void myEntry(void)
{
consume((float)produce());
}

eBPF doesn't natively support float conversion.