@parzivalwolfram @whitequark @jannem @dalias @unnick Don't forget that goto labels can only be 8 characters!