extern void Emitter_SpawnParticle(int a, int b, int c, int d);
extern void Emitter_UpdateVelocity(int a, int b, int c, int d, int e);
void Player_UpdateFlight(int *p)
{
  register int e __asm__("r4") = *(int *)0x02000134;
  Emitter_SpawnParticle(e, 0x080BC8BC, 0x06010000, 0x3F2);
  Emitter_UpdateVelocity(e, 0x080BC8BC, 0, 0, 12);
  p[23] = 600;
}