method-typecheck-2.m 960 Bytes