WIP - noreturn annotation