func fibonacci(num: Integer): Integer {
    require num >= 0;
    match {
        num == 0: return 0;
        num == 1: return 1;
        else: return fibonacci(num - 1) + fibonacci(num - 2);
    }
}