Proving inline subclass loading functions.