Parsing extension decls as options list