Sorry, No manual entry for jpl_is_void/1