nitc $ AMainMethPropdef :: defaultinit

# The implicit main method
class AMainMethPropdef
	super AMethPropdef
end