fn get_val() -> int {
    return 42;
}