* assert that launch never returns for better compiler errors * fix static generation launch function * fix web renderer