include 'arch/c'
include 'skin/c'

fn fact(x:u8) : u64 = {
  if (x <= 1) return{1}
  promote{u64,x} * fact(x - 1)
}