mod(-17, 3)