let field loc f = L0depl (loc, Pfield f)