constant fact = 1, |[\*] 1..*; say fact[5]