Annotations and argument checks