use std =: multiply [...] := -> real {Cgen a (@@1 (Cgen " * " b))}