noreturn and cast fix
phew..