/* VGA stuff */