DCPUTeam/DCPUToolchain — pull request #33 by migerh (2012-04-27 17:04:10+00:00)
Title: use %p to print void*

GCC doesn't like ```%d``` here with the current compile flags.