type annotations
num