correct die* API