redbean Nuke();