#include "aux_functions.c"

int main() {
    // Test aux functions
    float a = 16.0f;
    float g42 = aux_get_42(0.0f);
    return 0;
}