void main ( ) { return 3 ; }