tests: introduces `test_prog` a program that build a fake documented model to test...