Update Prelude.c