python13 lambda and python14 decorator