PBE
aka Programming by Example