/src/systemc/tests/systemc/datatypes/int/sc_int/bitselect/64bit/signed/