weak type systems, non-optional-GC, error codes