Why does Sx1 need to be 1, since you are passing it to sdot_?