#include "library.h"

int f() {
    return 43;
}