checked tests for module abstraction