use 'Integer' when printing C types to avoid overflow on 32 bit ghcs
use 'Integer' when printing C types to avoid overflow on 32 bit ghcs
hvr/jhc,shinnya/jhc-mirror,hvr/jhc,shinnya/jhc-mirror,hvr/jhc,hvr/jhc,shinnya/jhc-mirror,shinnya/jhc-mirror