@external('console')
def log(msg: i32) -> None:
    ...

def logIt():
    log(13 + 13 * 123)