Fix translation of `call` bytecode

[DavePearce]

At this stage, we don't handle other related bytecodes (though we probably could, relatively easily).