function big_one() {
    return 1n;
}