options (implementation)