Semicompiled

Divide

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

eBPF doesn't support signed division.

eBPF doesn't natively support float division.