#include "aux_functions.c"
int main() {
// Test aux functions
float a = 16.0f;
float g42 = aux_get_42(0.0f);
return 0;
}