demo_bit demo_cmp demo_vec puzzle3d testbench