smarco/WFA-paper not found