// AND def main(field x, field y) -> (field): return x * y