implement pp227: uadd_ok