def f():
    """
    >>> f()
    42
    """
    a = 42
    return a