defined to avoid problems with the static type checker

funct()