spring: noreturn