@../stdlib/math.pcdt
print(multiply(12; 5;))