there should be empty line before `def`