Ex_Post_Facto_Clause loading ...