Pseudo-polynomial_time loading ...