Wed, 26 Dec 2018 12:39:41 +0000remove debugging printf() introduced in previous commits
Mario de Sousa <msousa@fe.up.pt> [Wed, 26 Dec 2018 12:39:41 +0000] rev 1084
remove debugging printf() introduced in previous commits

Wed, 26 Dec 2018 12:02:13 +0000merge
Mario de Sousa <msousa@fe.up.pt> [Wed, 26 Dec 2018 12:02:13 +0000] rev 1083
merge

Wed, 26 Dec 2018 11:56:14 +0000fix bug introduced in previous commit (force literals to unsigned log long)
Mario de Sousa <msousa@fe.up.pt> [Wed, 26 Dec 2018 11:56:14 +0000] rev 1082
fix bug introduced in previous commit (force literals to unsigned log long)