made a test with the byte multiplication and the output is consistent with the specification's example, but still needs more testing