out.c

#include "ttl_runtime.h"
#include <time.h>
#include <stdlib.h>
#include <stdio.h>
#include <string.h>

typedef struct { void* fn; void* env; } ttl_Closure_i64_i64_to_i64;

typedef struct List_i64_s List_i64;
typedef struct Option_i64_s Option_i64;

typedef struct List_i64_s {
    enum {
        List_i64_TAG_Cons = 0,
        List_i64_TAG_Nil = 1
    } tag;
    union {
        struct { int64_t f0; List_i64* f1; } Cons;
        struct { char _empty; } Nil;
    } data;
} List_i64;

static inline List_i64* List_i64_Cons(int64_t f0, List_i64* f1) {
    List_i64* _v = ttl_malloc(sizeof(List_i64));
    _v->tag = List_i64_TAG_Cons;
    _v->data.Cons.f0 = f0;
    _v->data.Cons.f1 = f1;
    return _v;
}

static inline List_i64* List_i64_Nil(void) {
    List_i64* _v = ttl_malloc(sizeof(List_i64));
    _v->tag = List_i64_TAG_Nil;
    return _v;
}

typedef struct Option_i64_s {
    enum {
        Option_i64_TAG_Some = 0,
        Option_i64_TAG_None = 1
    } tag;
    union {
        struct { int64_t f0; } Some;
        struct { char _empty; } None;
    } data;
} Option_i64;

static inline Option_i64* Option_i64_Some(int64_t f0) {
    Option_i64* _v = ttl_malloc(sizeof(Option_i64));
    _v->tag = Option_i64_TAG_Some;
    _v->data.Some.f0 = f0;
    return _v;
}

static inline Option_i64* Option_i64_None(void) {
    Option_i64* _v = ttl_malloc(sizeof(Option_i64));
    _v->tag = Option_i64_TAG_None;
    return _v;
}

static int64_t ttl_lambda_0(void* _env, int64_t acc, int64_t x) {
    (void)_env;
#line 294 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
    return ttl_add_i64(acc, x);
}

static int64_t ttl_lambda_1(void* _env, int64_t acc, int64_t x) {
    (void)_env;
#line 299 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
    return ttl_mul_i64(acc, x);
}

#line 29 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
int64_t stdlib_hash__combine(int64_t seed, int64_t value) {
#line 30 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
    return ttl_hash_combine(seed, value);
}

#line 293 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
int64_t stdlib_list__sum(List_i64* list) {
#line 294 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
    return foldl_Foldable_List__i64_i64(list, ((int64_t)0), (ttl_Closure_i64_i64_to_i64){ .fn = (void*)ttl_lambda_0, .env = nullptr });
}

#line 298 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
int64_t stdlib_list__product(List_i64* list) {
#line 299 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
    return foldl_Foldable_List__i64_i64(list, ((int64_t)1), (ttl_Closure_i64_i64_to_i64){ .fn = (void*)ttl_lambda_1, .env = nullptr });
}

#line 303 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
Option_i64* stdlib_list__maximum(List_i64* list) {
#line 304 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
    Option_i64* _result;
#line 304 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
    List_i64* _match_0 = list;
    if (_match_0->tag == List_i64_TAG_Nil) {
#line 305 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
#line 305 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
        _result = Option_i64_None();
        goto _match_done_0;
    }
    if (_match_0->tag == List_i64_TAG_Cons) {
        int64_t x = _match_0->data.Cons.f0;
        List_i64* xs = _match_0->data.Cons.f1;
#line 306 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
#line 306 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
        _result = Option_i64_Some(stdlib_list__maximumAcc(xs, x));
        goto _match_done_0;
    }
    fprintf(stderr, "Pattern match failed\n"); abort();
    _match_done_0:;
    return _result;
}

#line 311 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
int64_t stdlib_list__maximumAcc(List_i64* list, int64_t curr) {
#line 312 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
    int64_t _result;
#line 312 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
    List_i64* _match_1 = list;
    if (_match_1->tag == List_i64_TAG_Nil) {
#line 313 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
#line 313 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
        _result = curr;
        goto _match_done_1;
    }
    if (_match_1->tag == List_i64_TAG_Cons) {
        int64_t x = _match_1->data.Cons.f0;
        List_i64* xs = _match_1->data.Cons.f1;
#line 314 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
#line 314 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
        if (ttl_gt_i64(x, curr)) {
#line 314 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
            _result = stdlib_list__maximumAcc(xs, x);
        } else {
#line 314 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
            _result = stdlib_list__maximumAcc(xs, curr);
        }
        goto _match_done_1;
    }
    fprintf(stderr, "Pattern match failed\n"); abort();
    _match_done_1:;
    return _result;
}

#line 319 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
Option_i64* stdlib_list__minimum(List_i64* list) {
#line 320 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
    Option_i64* _result;
#line 320 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
    List_i64* _match_2 = list;
    if (_match_2->tag == List_i64_TAG_Nil) {
#line 321 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
#line 321 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
        _result = Option_i64_None();
        goto _match_done_2;
    }
    if (_match_2->tag == List_i64_TAG_Cons) {
        int64_t x = _match_2->data.Cons.f0;
        List_i64* xs = _match_2->data.Cons.f1;
#line 322 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
#line 322 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
        _result = Option_i64_Some(stdlib_list__minimumAcc(xs, x));
        goto _match_done_2;
    }
    fprintf(stderr, "Pattern match failed\n"); abort();
    _match_done_2:;
    return _result;
}

#line 327 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
int64_t stdlib_list__minimumAcc(List_i64* list, int64_t curr) {
#line 328 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
    int64_t _result;
#line 328 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
    List_i64* _match_3 = list;
    if (_match_3->tag == List_i64_TAG_Nil) {
#line 329 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
#line 329 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
        _result = curr;
        goto _match_done_3;
    }
    if (_match_3->tag == List_i64_TAG_Cons) {
        int64_t x = _match_3->data.Cons.f0;
        List_i64* xs = _match_3->data.Cons.f1;
#line 330 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
#line 330 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
        if (ttl_lt_i64(x, curr)) {
#line 330 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
            _result = stdlib_list__minimumAcc(xs, x);
        } else {
#line 330 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
            _result = stdlib_list__minimumAcc(xs, curr);
        }
        goto _match_done_3;
    }
    fprintf(stderr, "Pattern match failed\n"); abort();
    _match_done_3:;
    return _result;
}

#line 43 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
int64_t stdlib_string__strLength(const char* s) {
#line 44 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_string_length(s);
}

#line 48 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
int8_t stdlib_string__charAt(const char* s, int64_t idx) {
#line 49 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_string_charAt(s, idx);
}

#line 53 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
const char* stdlib_string__substring(const char* s, int64_t start, int64_t end) {
#line 54 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_string_substring(s, start, end);
}

#line 58 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
int64_t stdlib_string__indexOf(const char* s, int8_t c) {
#line 59 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_string_indexOf(s, c);
}

#line 63 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
int64_t stdlib_string__indexOfFrom(const char* s, int8_t c, int64_t from) {
#line 64 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_string_indexOfFrom(s, c, from);
}

#line 68 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
bool stdlib_string__contains(const char* s, const char* substr) {
#line 69 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_string_contains(s, substr);
}

#line 73 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
bool stdlib_string__startsWith(const char* s, const char* prefix) {
#line 74 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_string_startsWith(s, prefix);
}

#line 78 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
bool stdlib_string__endsWith(const char* s, const char* suffix) {
#line 79 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_string_endsWith(s, suffix);
}

#line 83 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
const char* stdlib_string__toUpper(const char* s) {
#line 84 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_string_toUpper(s);
}

#line 88 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
const char* stdlib_string__toLower(const char* s) {
#line 89 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_string_toLower(s);
}

#line 93 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
const char* stdlib_string__trim(const char* s) {
#line 94 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_string_trim(s);
}

#line 98 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
const char* stdlib_string__trimStart(const char* s) {
#line 99 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_string_trimStart(s);
}

#line 103 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
const char* stdlib_string__trimEnd(const char* s) {
#line 104 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_string_trimEnd(s);
}

#line 108 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
const char* stdlib_string__replace(const char* s, int8_t old_char, int8_t new_char) {
#line 109 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_string_replace(s, old_char, new_char);
}

#line 113 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
int64_t stdlib_string__compare(const char* a, const char* b) {
#line 114 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_string_compare(a, b);
}

#line 1 "helloworld.tl"
ttl_Unit ttl_main(void) {
#line 2 "helloworld.tl"
    stdlib__puts__string("Hello World");
    return (ttl_Unit)0;
}

#line 175 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int8_t add_Num_i8(int8_t a, int8_t b) {
#line 175 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_add_i8(a, b);
}

#line 176 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int8_t sub_Num_i8(int8_t a, int8_t b) {
#line 176 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_sub_i8(a, b);
}

#line 177 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int8_t mul_Num_i8(int8_t a, int8_t b) {
#line 177 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mul_i8(a, b);
}

#line 178 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int8_t div_Num_i8(int8_t a, int8_t b) {
#line 178 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_div_i8(a, b);
}

#line 179 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int8_t mod_Num_i8(int8_t a, int8_t b) {
#line 179 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mod_i8(a, b);
}

#line 180 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int8_t negate_Num_i8(int8_t a) {
#line 180 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_neg_i8(a);
}

#line 185 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int16_t add_Num_i16(int16_t a, int16_t b) {
#line 185 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_add_i16(a, b);
}

#line 186 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int16_t sub_Num_i16(int16_t a, int16_t b) {
#line 186 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_sub_i16(a, b);
}

#line 187 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int16_t mul_Num_i16(int16_t a, int16_t b) {
#line 187 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mul_i16(a, b);
}

#line 188 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int16_t div_Num_i16(int16_t a, int16_t b) {
#line 188 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_div_i16(a, b);
}

#line 189 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int16_t mod_Num_i16(int16_t a, int16_t b) {
#line 189 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mod_i16(a, b);
}

#line 190 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int16_t negate_Num_i16(int16_t a) {
#line 190 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_neg_i16(a);
}

#line 195 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int32_t add_Num_i32(int32_t a, int32_t b) {
#line 195 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_add_i32(a, b);
}

#line 196 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int32_t sub_Num_i32(int32_t a, int32_t b) {
#line 196 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_sub_i32(a, b);
}

#line 197 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int32_t mul_Num_i32(int32_t a, int32_t b) {
#line 197 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mul_i32(a, b);
}

#line 198 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int32_t div_Num_i32(int32_t a, int32_t b) {
#line 198 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_div_i32(a, b);
}

#line 199 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int32_t mod_Num_i32(int32_t a, int32_t b) {
#line 199 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mod_i32(a, b);
}

#line 200 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int32_t negate_Num_i32(int32_t a) {
#line 200 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_neg_i32(a);
}

#line 205 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int64_t add_Num_i64(int64_t a, int64_t b) {
#line 205 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_add_i64(a, b);
}

#line 206 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int64_t sub_Num_i64(int64_t a, int64_t b) {
#line 206 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_sub_i64(a, b);
}

#line 207 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int64_t mul_Num_i64(int64_t a, int64_t b) {
#line 207 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mul_i64(a, b);
}

#line 208 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int64_t div_Num_i64(int64_t a, int64_t b) {
#line 208 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_div_i64(a, b);
}

#line 209 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int64_t mod_Num_i64(int64_t a, int64_t b) {
#line 209 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mod_i64(a, b);
}

#line 210 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
int64_t negate_Num_i64(int64_t a) {
#line 210 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_neg_i64(a);
}

#line 215 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint8_t add_Num_u8(uint8_t a, uint8_t b) {
#line 215 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_add_u8(a, b);
}

#line 216 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint8_t sub_Num_u8(uint8_t a, uint8_t b) {
#line 216 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_sub_u8(a, b);
}

#line 217 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint8_t mul_Num_u8(uint8_t a, uint8_t b) {
#line 217 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mul_u8(a, b);
}

#line 218 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint8_t div_Num_u8(uint8_t a, uint8_t b) {
#line 218 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_div_u8(a, b);
}

#line 219 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint8_t mod_Num_u8(uint8_t a, uint8_t b) {
#line 219 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mod_u8(a, b);
}

#line 220 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint8_t negate_Num_u8(uint8_t a) {
#line 220 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_neg_u8(a);
}

#line 225 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint16_t add_Num_u16(uint16_t a, uint16_t b) {
#line 225 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_add_u16(a, b);
}

#line 226 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint16_t sub_Num_u16(uint16_t a, uint16_t b) {
#line 226 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_sub_u16(a, b);
}

#line 227 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint16_t mul_Num_u16(uint16_t a, uint16_t b) {
#line 227 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mul_u16(a, b);
}

#line 228 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint16_t div_Num_u16(uint16_t a, uint16_t b) {
#line 228 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_div_u16(a, b);
}

#line 229 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint16_t mod_Num_u16(uint16_t a, uint16_t b) {
#line 229 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mod_u16(a, b);
}

#line 230 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint16_t negate_Num_u16(uint16_t a) {
#line 230 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_neg_u16(a);
}

#line 235 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint32_t add_Num_u32(uint32_t a, uint32_t b) {
#line 235 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_add_u32(a, b);
}

#line 236 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint32_t sub_Num_u32(uint32_t a, uint32_t b) {
#line 236 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_sub_u32(a, b);
}

#line 237 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint32_t mul_Num_u32(uint32_t a, uint32_t b) {
#line 237 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mul_u32(a, b);
}

#line 238 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint32_t div_Num_u32(uint32_t a, uint32_t b) {
#line 238 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_div_u32(a, b);
}

#line 239 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint32_t mod_Num_u32(uint32_t a, uint32_t b) {
#line 239 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mod_u32(a, b);
}

#line 240 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint32_t negate_Num_u32(uint32_t a) {
#line 240 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_neg_u32(a);
}

#line 245 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint64_t add_Num_u64(uint64_t a, uint64_t b) {
#line 245 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_add_u64(a, b);
}

#line 246 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint64_t sub_Num_u64(uint64_t a, uint64_t b) {
#line 246 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_sub_u64(a, b);
}

#line 247 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint64_t mul_Num_u64(uint64_t a, uint64_t b) {
#line 247 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mul_u64(a, b);
}

#line 248 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint64_t div_Num_u64(uint64_t a, uint64_t b) {
#line 248 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_div_u64(a, b);
}

#line 249 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint64_t mod_Num_u64(uint64_t a, uint64_t b) {
#line 249 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mod_u64(a, b);
}

#line 250 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
uint64_t negate_Num_u64(uint64_t a) {
#line 250 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_neg_u64(a);
}

#line 255 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
float add_Num_f32(float a, float b) {
#line 255 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_add_f32(a, b);
}

#line 256 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
float sub_Num_f32(float a, float b) {
#line 256 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_sub_f32(a, b);
}

#line 257 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
float mul_Num_f32(float a, float b) {
#line 257 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mul_f32(a, b);
}

#line 258 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
float div_Num_f32(float a, float b) {
#line 258 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_div_f32(a, b);
}

#line 259 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
float mod_Num_f32(float a, float b) {
#line 259 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mod_f32(a, b);
}

#line 260 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
float negate_Num_f32(float a) {
#line 260 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_neg_f32(a);
}

#line 265 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
double add_Num_f64(double a, double b) {
#line 265 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_add_f64(a, b);
}

#line 266 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
double sub_Num_f64(double a, double b) {
#line 266 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_sub_f64(a, b);
}

#line 267 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
double mul_Num_f64(double a, double b) {
#line 267 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mul_f64(a, b);
}

#line 268 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
double div_Num_f64(double a, double b) {
#line 268 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_div_f64(a, b);
}

#line 269 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
double mod_Num_f64(double a, double b) {
#line 269 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_mod_f64(a, b);
}

#line 270 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
double negate_Num_f64(double a) {
#line 270 "/Users/ashleyis/Development/ttlc/lib/stdlib/num.tl"
    return ttl_neg_f64(a);
}

#line 84 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool eq_Eq_i64(int64_t a, int64_t b) {
#line 84 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_eq_i64(a, b);
}

#line 85 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool neq_Eq_i64(int64_t a, int64_t b) {
#line 85 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_neq_i64(a, b);
}

#line 90 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool eq_Eq_i32(int32_t a, int32_t b) {
#line 90 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_eq_i32(a, b);
}

#line 91 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool neq_Eq_i32(int32_t a, int32_t b) {
#line 91 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_neq_i32(a, b);
}

#line 96 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool eq_Eq_i16(int16_t a, int16_t b) {
#line 96 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_eq_i16(a, b);
}

#line 97 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool neq_Eq_i16(int16_t a, int16_t b) {
#line 97 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_neq_i16(a, b);
}

#line 102 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool eq_Eq_i8(int8_t a, int8_t b) {
#line 102 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_eq_i8(a, b);
}

#line 103 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool neq_Eq_i8(int8_t a, int8_t b) {
#line 103 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_neq_i8(a, b);
}

#line 108 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool eq_Eq_u64(uint64_t a, uint64_t b) {
#line 108 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_eq_u64(a, b);
}

#line 109 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool neq_Eq_u64(uint64_t a, uint64_t b) {
#line 109 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_neq_u64(a, b);
}

#line 114 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool eq_Eq_u32(uint32_t a, uint32_t b) {
#line 114 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_eq_u32(a, b);
}

#line 115 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool neq_Eq_u32(uint32_t a, uint32_t b) {
#line 115 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_neq_u32(a, b);
}

#line 120 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool eq_Eq_u16(uint16_t a, uint16_t b) {
#line 120 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_eq_u16(a, b);
}

#line 121 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool neq_Eq_u16(uint16_t a, uint16_t b) {
#line 121 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_neq_u16(a, b);
}

#line 126 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool eq_Eq_u8(uint8_t a, uint8_t b) {
#line 126 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_eq_u8(a, b);
}

#line 127 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool neq_Eq_u8(uint8_t a, uint8_t b) {
#line 127 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_neq_u8(a, b);
}

#line 132 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool eq_Eq_f64(double a, double b) {
#line 132 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_eq_f64(a, b);
}

#line 133 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool neq_Eq_f64(double a, double b) {
#line 133 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_neq_f64(a, b);
}

#line 138 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool eq_Eq_f32(float a, float b) {
#line 138 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_eq_f32(a, b);
}

#line 139 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool neq_Eq_f32(float a, float b) {
#line 139 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_neq_f32(a, b);
}

#line 149 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool eq_Eq_bool(bool a, bool b) {
#line 149 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_eq_bool(a, b);
}

#line 150 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool neq_Eq_bool(bool a, bool b) {
#line 150 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_neq_bool(a, b);
}

#line 160 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool eq_Eq_string(const char* a, const char* b) {
#line 160 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_eq_string(a, b);
}

#line 161 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
bool neq_Eq_string(const char* a, const char* b) {
#line 161 "/Users/ashleyis/Development/ttlc/lib/stdlib/eq.tl"
    return ttl_neq_string(a, b);
}

#line 188 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lt_Ord_i64(int64_t a, int64_t b) {
#line 188 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lt_i64(a, b);
}

#line 189 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gt_Ord_i64(int64_t a, int64_t b) {
#line 189 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gt_i64(a, b);
}

#line 190 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lte_Ord_i64(int64_t a, int64_t b) {
#line 190 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lte_i64(a, b);
}

#line 191 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gte_Ord_i64(int64_t a, int64_t b) {
#line 191 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gte_i64(a, b);
}

#line 196 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lt_Ord_i32(int32_t a, int32_t b) {
#line 196 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lt_i32(a, b);
}

#line 197 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gt_Ord_i32(int32_t a, int32_t b) {
#line 197 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gt_i32(a, b);
}

#line 198 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lte_Ord_i32(int32_t a, int32_t b) {
#line 198 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lte_i32(a, b);
}

#line 199 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gte_Ord_i32(int32_t a, int32_t b) {
#line 199 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gte_i32(a, b);
}

#line 204 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lt_Ord_i16(int16_t a, int16_t b) {
#line 204 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lt_i16(a, b);
}

#line 205 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gt_Ord_i16(int16_t a, int16_t b) {
#line 205 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gt_i16(a, b);
}

#line 206 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lte_Ord_i16(int16_t a, int16_t b) {
#line 206 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lte_i16(a, b);
}

#line 207 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gte_Ord_i16(int16_t a, int16_t b) {
#line 207 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gte_i16(a, b);
}

#line 212 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lt_Ord_i8(int8_t a, int8_t b) {
#line 212 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lt_i8(a, b);
}

#line 213 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gt_Ord_i8(int8_t a, int8_t b) {
#line 213 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gt_i8(a, b);
}

#line 214 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lte_Ord_i8(int8_t a, int8_t b) {
#line 214 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lte_i8(a, b);
}

#line 215 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gte_Ord_i8(int8_t a, int8_t b) {
#line 215 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gte_i8(a, b);
}

#line 220 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lt_Ord_u64(uint64_t a, uint64_t b) {
#line 220 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lt_u64(a, b);
}

#line 221 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gt_Ord_u64(uint64_t a, uint64_t b) {
#line 221 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gt_u64(a, b);
}

#line 222 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lte_Ord_u64(uint64_t a, uint64_t b) {
#line 222 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lte_u64(a, b);
}

#line 223 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gte_Ord_u64(uint64_t a, uint64_t b) {
#line 223 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gte_u64(a, b);
}

#line 228 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lt_Ord_u32(uint32_t a, uint32_t b) {
#line 228 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lt_u32(a, b);
}

#line 229 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gt_Ord_u32(uint32_t a, uint32_t b) {
#line 229 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gt_u32(a, b);
}

#line 230 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lte_Ord_u32(uint32_t a, uint32_t b) {
#line 230 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lte_u32(a, b);
}

#line 231 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gte_Ord_u32(uint32_t a, uint32_t b) {
#line 231 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gte_u32(a, b);
}

#line 236 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lt_Ord_u16(uint16_t a, uint16_t b) {
#line 236 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lt_u16(a, b);
}

#line 237 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gt_Ord_u16(uint16_t a, uint16_t b) {
#line 237 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gt_u16(a, b);
}

#line 238 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lte_Ord_u16(uint16_t a, uint16_t b) {
#line 238 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lte_u16(a, b);
}

#line 239 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gte_Ord_u16(uint16_t a, uint16_t b) {
#line 239 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gte_u16(a, b);
}

#line 244 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lt_Ord_u8(uint8_t a, uint8_t b) {
#line 244 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lt_u8(a, b);
}

#line 245 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gt_Ord_u8(uint8_t a, uint8_t b) {
#line 245 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gt_u8(a, b);
}

#line 246 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lte_Ord_u8(uint8_t a, uint8_t b) {
#line 246 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lte_u8(a, b);
}

#line 247 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gte_Ord_u8(uint8_t a, uint8_t b) {
#line 247 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gte_u8(a, b);
}

#line 252 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lt_Ord_f64(double a, double b) {
#line 252 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lt_f64(a, b);
}

#line 253 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gt_Ord_f64(double a, double b) {
#line 253 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gt_f64(a, b);
}

#line 254 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lte_Ord_f64(double a, double b) {
#line 254 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lte_f64(a, b);
}

#line 255 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gte_Ord_f64(double a, double b) {
#line 255 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gte_f64(a, b);
}

#line 260 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lt_Ord_f32(float a, float b) {
#line 260 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lt_f32(a, b);
}

#line 261 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gt_Ord_f32(float a, float b) {
#line 261 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gt_f32(a, b);
}

#line 262 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lte_Ord_f32(float a, float b) {
#line 262 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_lte_f32(a, b);
}

#line 263 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gte_Ord_f32(float a, float b) {
#line 263 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ttl_gte_f32(a, b);
}

#line 268 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lt_Ord_bool(bool a, bool b) {
#line 268 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ((a ? false : true) ? b : false);
}

#line 269 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gt_Ord_bool(bool a, bool b) {
#line 269 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return (a ? (b ? false : true) : false);
}

#line 270 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool lte_Ord_bool(bool a, bool b) {
#line 270 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return ((a ? false : true) ? true : b);
}

#line 271 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
bool gte_Ord_bool(bool a, bool b) {
#line 271 "/Users/ashleyis/Development/ttlc/lib/stdlib/ord.tl"
    return (a ? true : (b ? false : true));
}

#line 34 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
int64_t hash_Hash_i64(int64_t x) {
#line 34 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
    return ttl_hash_i64(x);
}

#line 38 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
int64_t hash_Hash_i32(int32_t x) {
#line 38 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
    return ttl_hash_i32(x);
}

#line 42 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
int64_t hash_Hash_i16(int16_t x) {
#line 42 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
    return ttl_hash_i16(x);
}

#line 46 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
int64_t hash_Hash_i8(int8_t x) {
#line 46 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
    return ttl_hash_i8(x);
}

#line 50 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
int64_t hash_Hash_u64(uint64_t x) {
#line 50 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
    return ttl_hash_u64(x);
}

#line 54 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
int64_t hash_Hash_u32(uint32_t x) {
#line 54 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
    return ttl_hash_u32(x);
}

#line 58 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
int64_t hash_Hash_u16(uint16_t x) {
#line 58 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
    return ttl_hash_u16(x);
}

#line 62 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
int64_t hash_Hash_u8(uint8_t x) {
#line 62 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
    return ttl_hash_u8(x);
}

#line 66 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
int64_t hash_Hash_bool(bool x) {
#line 66 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
    return ttl_hash_bool(x);
}

#line 70 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
int64_t hash_Hash_string(const char* x) {
#line 70 "/Users/ashleyis/Development/ttlc/lib/stdlib/hash.tl"
    return ttl_hash_string(x);
}

#line 23 "/Users/ashleyis/Development/ttlc/lib/stdlib/functional/semigroup.tl"
const char* append_Semigroup_string(const char* a, const char* b) {
#line 24 "/Users/ashleyis/Development/ttlc/lib/stdlib/functional/semigroup.tl"
    return ttl_string_concat(a, b);
}

#line 24 "/Users/ashleyis/Development/ttlc/lib/stdlib/functional/monoid.tl"
const char* mempty_Monoid_string(void) {
#line 24 "/Users/ashleyis/Development/ttlc/lib/stdlib/functional/monoid.tl"
    return "";
}

#line 66 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
const char* show_Show_i8(int8_t n) {
#line 66 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
    return ttl_show_i8(n);
}

#line 71 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
const char* show_Show_i16(int16_t n) {
#line 71 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
    return ttl_show_i16(n);
}

#line 76 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
const char* show_Show_i32(int32_t n) {
#line 76 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
    return ttl_show_i32(n);
}

#line 81 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
const char* show_Show_i64(int64_t n) {
#line 81 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
    return ttl_show_i64(n);
}

#line 86 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
const char* show_Show_u8(uint8_t n) {
#line 86 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
    return ttl_show_u8(n);
}

#line 91 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
const char* show_Show_u16(uint16_t n) {
#line 91 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
    return ttl_show_u16(n);
}

#line 96 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
const char* show_Show_u32(uint32_t n) {
#line 96 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
    return ttl_show_u32(n);
}

#line 101 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
const char* show_Show_u64(uint64_t n) {
#line 101 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
    return ttl_show_u64(n);
}

#line 106 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
const char* show_Show_f32(float n) {
#line 106 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
    return ttl_show_f32(n);
}

#line 111 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
const char* show_Show_f64(double n) {
#line 111 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
    return ttl_show_f64(n);
}

#line 116 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
const char* show_Show_bool(bool b) {
#line 116 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
    return ttl_show_bool(b);
}

#line 121 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
const char* show_Show_string(const char* s) {
#line 121 "/Users/ashleyis/Development/ttlc/lib/stdlib/show.tl"
    return s;
}

#line 50 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
int16_t into_Into_i8_i16(int8_t a) {
#line 50 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_i8_i16(a);
}

#line 54 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
int32_t into_Into_i8_i32(int8_t a) {
#line 54 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_i8_i32(a);
}

#line 58 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
int64_t into_Into_i8_i64(int8_t a) {
#line 58 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_i8_i64(a);
}

#line 62 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
int32_t into_Into_i16_i32(int16_t a) {
#line 62 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_i16_i32(a);
}

#line 66 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
int64_t into_Into_i16_i64(int16_t a) {
#line 66 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_i16_i64(a);
}

#line 70 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
int64_t into_Into_i32_i64(int32_t a) {
#line 70 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_i32_i64(a);
}

#line 76 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
uint16_t into_Into_u8_u16(uint8_t a) {
#line 76 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_u8_u16(a);
}

#line 80 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
uint32_t into_Into_u8_u32(uint8_t a) {
#line 80 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_u8_u32(a);
}

#line 84 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
uint64_t into_Into_u8_u64(uint8_t a) {
#line 84 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_u8_u64(a);
}

#line 88 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
uint32_t into_Into_u16_u32(uint16_t a) {
#line 88 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_u16_u32(a);
}

#line 92 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
uint64_t into_Into_u16_u64(uint16_t a) {
#line 92 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_u16_u64(a);
}

#line 96 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
uint64_t into_Into_u32_u64(uint32_t a) {
#line 96 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_u32_u64(a);
}

#line 102 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
int16_t into_Into_u8_i16(uint8_t a) {
#line 102 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_u8_i16(a);
}

#line 106 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
int32_t into_Into_u8_i32(uint8_t a) {
#line 106 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_u8_i32(a);
}

#line 110 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
int64_t into_Into_u8_i64(uint8_t a) {
#line 110 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_u8_i64(a);
}

#line 114 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
int32_t into_Into_u16_i32(uint16_t a) {
#line 114 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_u16_i32(a);
}

#line 118 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
int64_t into_Into_u16_i64(uint16_t a) {
#line 118 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_u16_i64(a);
}

#line 122 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
int64_t into_Into_u32_i64(uint32_t a) {
#line 122 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_u32_i64(a);
}

#line 128 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
double into_Into_i8_f64(int8_t a) {
#line 128 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_i8_f64(a);
}

#line 132 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
double into_Into_i16_f64(int16_t a) {
#line 132 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_i16_f64(a);
}

#line 136 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
double into_Into_i32_f64(int32_t a) {
#line 136 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_i32_f64(a);
}

#line 142 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
double into_Into_f32_f64(float a) {
#line 142 "/Users/ashleyis/Development/ttlc/lib/stdlib/into.tl"
    return ttl_into_f32_f64(a);
}

#line 121 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
bool lt_Ord_string(const char* a, const char* b) {
#line 121 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_lt_i64(ttl_string_compare(a, b), ((int64_t)0));
}

#line 122 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
bool gt_Ord_string(const char* a, const char* b) {
#line 122 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_gt_i64(ttl_string_compare(a, b), ((int64_t)0));
}

#line 123 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
bool lte_Ord_string(const char* a, const char* b) {
#line 123 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_lte_i64(ttl_string_compare(a, b), ((int64_t)0));
}

#line 124 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
bool gte_Ord_string(const char* a, const char* b) {
#line 124 "/Users/ashleyis/Development/ttlc/lib/stdlib/string.tl"
    return ttl_gte_i64(ttl_string_compare(a, b), ((int64_t)0));
}

#line 182 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
int64_t foldl_Foldable_List__i64_i64(List_i64* fa, int64_t b, ttl_Closure_i64_i64_to_i64 f) {
#line 183 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
    int64_t _result;
#line 183 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
    List_i64* _match_4 = fa;
    if (_match_4->tag == List_i64_TAG_Cons) {
        int64_t x = _match_4->data.Cons.f0;
        List_i64* xs = _match_4->data.Cons.f1;
#line 184 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
#line 184 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
        _result = foldl_Foldable_List__i64_i64(xs, ((int64_t (*)(void*, int64_t, int64_t))f.fn)(f.env, b, x), f);
        goto _match_done_4;
    }
    if (_match_4->tag == List_i64_TAG_Nil) {
#line 185 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
#line 185 "/Users/ashleyis/Development/ttlc/lib/stdlib/list.tl"
        _result = b;
        goto _match_done_4;
    }
    fprintf(stderr, "Pattern match failed\n"); abort();
    _match_done_4:;
    return _result;
}

#line 60 "/Users/ashleyis/Development/ttlc/lib/stdlib/root.tl"
ttl_Unit stdlib__puts__string(const char* x) {
#line 61 "/Users/ashleyis/Development/ttlc/lib/stdlib/root.tl"
    ttl_println(show_Show_string(x));
    return (ttl_Unit)0;
}

int main(void) {
    ttl_gc_init();
    ttl_main();
    return 0;
}