<?php
  system(escapeshellcmd("sudo ./a.out"));
  header('Location: index.php');
  exit;
  ?>