I'm trying to figure out the allocation model that the port should use. Bullet normally provides its own allocators for efficiency, but I've been trying to integrate the port with the GC where it's practical. Does anyone have suggestions on the best approach? I'm not too familiar with Bullet's allocation system, so I should probably research that...