New call-by-name argument function lab
rewritten to specs2
rewritten to specs2