Stub out ops.js