static double laugh_gain = 0.5;

svoid laugh {
  playMp3(loadLibrary(#1400413), gain := laugh_gain);
}