/* File: twice1.h

   A simple header file.
*/

int twice(int n) ;

int glob = 5 ;