var unknown_pragma = {};