s : string := "a/b/c"; b : boolean := strings.fixed( 12 ); -- bad type