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