/* Generated by zi2c from score.zi. */
#define ZIRAN_SCORE_H_SOURCE 1
#include <stdint.h>
#include "score.h"

int32_t
score_Total(Score score)
{
    return (int32_t)((uint32_t)(score.value) + (uint32_t)(score.bonus));
}

int32_t
score_Answer(void)
{
    Score score = {.value = 40, .bonus = 2};
    Score value_0 = score;
    int32_t value_1 = 0;
    {
        Score score = value_0;
        value_1 = (int32_t)((uint32_t)(score.value) + (uint32_t)(score.bonus));
    }
    return value_1;
}