let
gc c = ()