The statement
append lvalue , expression ;
appends a value evaluated from expression to the end of the list referred to by lvalue. It is equivalent to do
insert lvalue , lvalue # + 1 , expression ;
but the lvalue expression is evaluated only once.