:"$(mul($<,2))" #include"std/num.wake"