inner function annotation problem example