rest extension (#26)