"age")])
        # more easily written as:
        expr = integer("id") + name_expr("name") + integer("age")
    c