function main(a: field, b: field) {
    // Change to assert when == is implemented for field.
    console.log("a: {}", a);
    console.log("b: {}", b);
}