Added options pragma