function tilt_player(value)
{
ang_rotate(player.pan, vector(0, 0, value));
}

"Sometimes JCL reminds me of Notch, but more competent" ~ Kiyaku