plain* addr* val env.r_val