De lo que he entendi es que acá no se hacen las cosas, sino que se ayudan.
Te doy unas pautas para que puedas hacerlo por tí mismo.
Se me ocurre que primero hacer un archivo de login con un form con action a un archivo php que sea como clon del procesar.php y se le llama como "comprobar.php" whatever, en el comprobar modificas los Header location si se comprueba true la session que lo mande el archivo de opciones. y si se comprueba la session false, entonces que lo mande al principio
Se me ocurre eso, procesa esa informacion y haz tu mismo el script que quieres.
Saludos.
