// "Seal class" "false"

public sealed class Ma<caret>in { }

class Direct extends Main {}