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_UpdateLaunch(int *p)
{
  register int e __asm__("r4") = *(int *)0x02000134;
  Emitter_SpawnParticle(e, 0x080BC7FC, 0x06010000, 0x3F2);
  Emitter_UpdateVelocity(e, 0x080BC7FC, 0, 0, 12);
  p[23] = 120;
  p[27] = 0;
}