Redbean implementation