// Exp_default