/* Unconstrained exec
 * This test to be completed */