void play_sound(s32 soundBits, Vec3f pos);