Added first line of interface specification