// create using funct_play2 Contract: blah_test : void -> bool Purpose: expects nothing, and produces whether blah's selectors return what is expected for a newly-constructed blah bool blah_test() Examples: blah_test() == true bool blah_test() { // use blah's constructor(s) blah instance(value, ); // test blah's selectors return (instance.get_data_field() == value) && ; }