Some kind of weak specs for helper functions.