throwexc accepts native and Ceylon strings