#include "Rts.h"

W_ hs_mulIntMayOflo(W_ a, W_ b) { return mulIntMayOflo(a, b); }