Oops, we really did need "//"

So emulate it instead.