/*@{}*/                                                 /* user.l */
%option outfile="user.c"
%option main
%%
userID    printf( "%d", getuid() );