further pointer/int cast hacks