1option('extension_fixture', type: 'boolean', value: 'false', description: 'Whether to enable the fixture extension.') 2option('extension_memory', type: 'boolean', value: 'false', description: 'Whether to enable the memory extension.') 3option('support_double', type: 'boolean', value: 'false', description: 'Whether to enable double precision floating point assertions.') 4