Happened-before loading ...