static S ai_userSpaceToObjective(S input, O... _) {
  ret ai_spaceToSpace('user, 'objective, input, _);
}