Fixing mulc (TODO should be done for the vm)