Call by name and value work in at least some cases