fn op_unit() -> () { () }