sv.bc test jumping to wrong location (offset 0xc not 0x8)