Initial garbage-collector design