#include <syscall.h>

int main( int argc, char ** argv ) {

   Write( argc, 1, 2 );
   Write( argv, 1, 2 );
   Write( argv[0], 1, 1 );
   Write( argv[1], 1, 1 );

   if ( argc > 3 ) {
     Exec( "arg 451 hello.txt" );
   } else {
      Write( argc, 1, 2 );
      Write( argv[0], 3, 2 );
      Write( argv[1], 3, 2 );
      Write( argv[2], 9, 2 );
   }

}