Writing additional function annotations