Some module examples, up through 5.4