"""Tiny math helpers. Imported by tests/test_add.py."""

def add(a, b):
    # BUG: should be a + b. Three forked agents will fix this in
    # three different ways below.
    return a - b


def double(x):
    return x * 2

