Added regn.v also fixed some formatting in proc.v.