HANDLE_OP_X_DOUBLE(OP_MUL_DOUBLE, "mul", *)
OP_END