formatacao do codigo user.c