require 'facets/core/proc/op_mul.rb'