times2 :: (a: int) -> int {
  return a + a;
}

times3 :: (a: int) -> int {
  return a + a + a;
}