extern func printint(val: int64);